correctness proof - Almanca İngilizce Sözlük